Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Filter

Your Filters

Filter by : Subject Collection : Australian National University

Reset filters

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Rapid pulse length determination in high-resolution NMR

Authors : Wu, Peter; Otting, Gottfried

Subjects: Keywords: Automation; Couplings; Data acquisition

Source: Journal of Magnetic Resonance

Record details

Read More Add to Saved list

Academic Journal

Rapid pulse length determination in high-resolution NMR

Authors : Wu, Peter; Otting, Gottfried

Subjects: Keywords: Automation; Couplings; Data acquisition

Source: Journal of Magnetic Resonance

Record details

Read More Add to Saved list

Conference

The CAPTAIN Toolbox for Matlab

Authors : Young, Peter C; Tych, Wlodek; Taylor, C James

Subjects: Keywords: Control design; Automation; ControlSaint-Malo France

Source: IFAC Proceedings Volumes (IFAC-PapersOnline)

Record details

Read More Add to Saved list

Conference

MYST: A comprehensive high-level AO control tool for GeMS

Authors : Rigaut, Francois; Neichel, Benoit; Bec, M

Subjects: Keywords: Control tools; Diagnostics; High level controlSan Diego; CA

Source: Proceedings of SPIE - The International Society for Optical Engineering

Record details

Read More Add to Saved list

Conference

Auto-calibration of a Compound-type Omnidirectional Camera

Authors : Li, Hongdong; Hartley, Richard; Wang, Lei ...

Subjects: Keywords: Autocalibration; Image capture; Lens distortionCairns Australia

Source: Proceedings of the Digital Imaging Computing: Techniques and Applications (DICTA 2005) ; http://dicta2005.aprs.org.au/

Record details

Read More Add to Saved list

Conference

Monitoring web service networks in a model-based approach

Authors : Yan, Yuhong; Pencole, Yannick; Cordier, Marie-Odile ...

Subjects: Keywords: Automation; Electronic document exchange; InteroperabilityVaxjo Sweden

Source: Proceedings of 2005 Third European Conference on Web Services

Record details

Read More Add to Saved list

Conference

MaramaAI: Tool support for capturing and managing consistency of multi-lingual requirements

Authors : Kamalrudin, Massila; Grundy, John; Hosking, John

Subjects: Keywords: Consistency; Error prones; Multi-lingual requirementsEssen Germany

Source: 2012 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012 - Proceedings

Record details

Read More Add to Saved list

Conference

Superposition and Model Evolution Combined

Authors : Baumgartner, Peter; Waldmann, Uwe; R A Schmidt

Subjects: Keywords: DPLL procedure; First-order; Inference rulesMontreal Canada

Source: Proceedings of the 22nd International Conference on Automated Deduction ; http://www.springerlink.com/content/978-3-642-02958-5/

Record details

Read More Add to Saved list

Conference

Hierarchic Superposition with Weak Abstraction

Authors : Baumgartner, Peter; Waldmann, Uwe;

Subjects: Keywords: Automated deduction; Background theory; First order logicLake Placid United States of America

Source: CADE 2013

Record details

Read More Add to Saved list

Conference

Residential Demand Response under Uncertainty

Authors : Scott, Paul; Thiebaux, Sylvie; van den Briel, Menkes

Subjects: Keywords: Electricity pricing; Electricity-consumption; High-quality solutionsUppsala Sweden

Source: Residential Demand Response under Uncertainty

Record details

Read More Add to Saved list